(1
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 89)
  ("(var3 stable)" 89 91)
  ("(var3 up)" 91 93)
  ("(var3 stable)" 93 325)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 92)
  ("(var4 down)" 92 94)
  ("(var4 up)" 94 96)
  ("(var4 stable)" 96 193)
  ("(var4 down)" 193 278)
  ("(var4 stable)" 278 325)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 93)
  ("(var1 stable)" 93 325)
  ("(var2 stable)" 0 73)
  ("(var2 up)" 73 77)
  ("(var2 down)" 77 82)
  ("(var2 up)" 82 212)
  ("(var2 stable)" 212 325)
 )
)
(2
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 121)
  ("(var3 stable)" 121 373)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 86)
  ("(var4 down)" 86 88)
  ("(var4 up)" 88 124)
  ("(var4 down)" 124 126)
  ("(var4 stable)" 126 219)
  ("(var4 down)" 219 254)
  ("(var4 stable)" 254 257)
  ("(var4 down)" 257 322)
  ("(var4 stable)" 322 373)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 121)
  ("(var1 stable)" 121 373)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 107)
  ("(var2 down)" 107 111)
  ("(var2 stable)" 111 154)
  ("(var2 up)" 154 242)
  ("(var2 stable)" 242 244)
  ("(var2 up)" 244 246)
  ("(var2 stable)" 246 373)
 )
)
(3
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 59)
  ("(var3 stable)" 59 61)
  ("(var3 up)" 61 84)
  ("(var3 stable)" 84 291)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 87)
  ("(var4 stable)" 87 186)
  ("(var4 down)" 186 258)
  ("(var4 stable)" 258 291)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 80)
  ("(var1 stable)" 80 291)
  ("(var2 stable)" 0 70)
  ("(var2 up)" 70 72)
  ("(var2 down)" 72 77)
  ("(var2 up)" 77 181)
  ("(var2 stable)" 181 291)
 )
)
(4
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 75)
  ("(var3 down)" 75 77)
  ("(var3 stable)" 77 325)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 42)
  ("(var4 stable)" 42 44)
  ("(var4 up)" 44 77)
  ("(var4 stable)" 77 81)
  ("(var4 up)" 81 83)
  ("(var4 stable)" 83 178)
  ("(var4 down)" 178 180)
  ("(var4 up)" 180 182)
  ("(var4 down)" 182 277)
  ("(var4 up)" 277 279)
  ("(var4 down)" 279 283)
  ("(var4 stable)" 283 325)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 71)
  ("(var1 stable)" 71 325)
  ("(var2 stable)" 0 56)
  ("(var2 up)" 56 60)
  ("(var2 down)" 60 64)
  ("(var2 stable)" 64 108)
  ("(var2 up)" 108 180)
  ("(var2 stable)" 180 325)
 )
)
(5
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 76)
  ("(var3 down)" 76 78)
  ("(var3 up)" 78 105)
  ("(var3 stable)" 105 349)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 105)
  ("(var4 stable)" 105 214)
  ("(var4 down)" 214 300)
  ("(var4 up)" 300 302)
  ("(var4 down)" 302 305)
  ("(var4 stable)" 305 349)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 66)
  ("(var1 stable)" 66 68)
  ("(var1 down)" 68 70)
  ("(var1 up)" 70 107)
  ("(var1 stable)" 107 349)
  ("(var2 stable)" 0 89)
  ("(var2 up)" 89 91)
  ("(var2 down)" 91 96)
  ("(var2 up)" 96 144)
  ("(var2 down)" 144 146)
  ("(var2 up)" 146 233)
  ("(var2 stable)" 233 349)
 )
)
(6
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 125)
  ("(var3 stable)" 125 369)
  ("(var4 stable)" 0 89)
  ("(var4 up)" 89 130)
  ("(var4 down)" 130 132)
  ("(var4 stable)" 132 245)
  ("(var4 down)" 245 323)
  ("(var4 stable)" 323 355)
  ("(var4 up)" 355 357)
  ("(var4 down)" 357 359)
  ("(var4 stable)" 359 369)
  ("(var1 stable)" 0 92)
  ("(var1 up)" 92 128)
  ("(var1 stable)" 128 369)
  ("(var2 stable)" 0 109)
  ("(var2 up)" 109 111)
  ("(var2 down)" 111 116)
  ("(var2 stable)" 116 158)
  ("(var2 up)" 158 249)
  ("(var2 stable)" 249 369)
 )
)
(7
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 89)
  ("(var3 stable)" 89 323)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 84)
  ("(var4 stable)" 84 192)
  ("(var4 down)" 192 293)
  ("(var4 stable)" 293 323)
  ("(var1 stable)" 0 50)
  ("(var1 down)" 50 52)
  ("(var1 up)" 52 83)
  ("(var1 stable)" 83 323)
  ("(var2 stable)" 0 69)
  ("(var2 up)" 69 71)
  ("(var2 down)" 71 76)
  ("(var2 up)" 76 221)
  ("(var2 stable)" 221 323)
 )
)
(8
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 69)
  ("(var3 stable)" 69 313)
  ("(var4 stable)" 0 36)
  ("(var4 down)" 36 38)
  ("(var4 up)" 38 78)
  ("(var4 stable)" 78 162)
  ("(var4 down)" 162 267)
  ("(var4 stable)" 267 313)
  ("(var1 stable)" 0 30)
  ("(var1 up)" 30 32)
  ("(var1 down)" 32 35)
  ("(var1 up)" 35 39)
  ("(var1 stable)" 39 41)
  ("(var1 up)" 41 70)
  ("(var1 stable)" 70 313)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 56)
  ("(var2 down)" 56 60)
  ("(var2 stable)" 60 107)
  ("(var2 up)" 107 109)
  ("(var2 stable)" 109 111)
  ("(var2 up)" 111 187)
  ("(var2 down)" 187 189)
  ("(var2 up)" 189 194)
  ("(var2 stable)" 194 313)
 )
)
(9
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 88)
  ("(var3 stable)" 88 314)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 86)
  ("(var4 stable)" 86 209)
  ("(var4 down)" 209 276)
  ("(var4 stable)" 276 314)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 86)
  ("(var1 stable)" 86 88)
  ("(var1 up)" 88 90)
  ("(var1 stable)" 90 314)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 76)
  ("(var2 down)" 76 80)
  ("(var2 stable)" 80 119)
  ("(var2 up)" 119 206)
  ("(var2 stable)" 206 314)
 )
)
(10
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 112)
  ("(var3 stable)" 112 356)
  ("(var4 stable)" 0 73)
  ("(var4 down)" 73 76)
  ("(var4 up)" 76 115)
  ("(var4 down)" 115 117)
  ("(var4 stable)" 117 217)
  ("(var4 down)" 217 304)
  ("(var4 up)" 304 306)
  ("(var4 down)" 306 308)
  ("(var4 stable)" 308 356)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 113)
  ("(var1 stable)" 113 356)
  ("(var2 stable)" 0 97)
  ("(var2 up)" 97 99)
  ("(var2 down)" 99 106)
  ("(var2 up)" 106 233)
  ("(var2 down)" 233 235)
  ("(var2 up)" 235 237)
  ("(var2 stable)" 237 356)
 )
)
(11
 (
  ("(var3 stable)" 0 86)
  ("(var3 down)" 86 88)
  ("(var3 up)" 88 116)
  ("(var3 stable)" 116 324)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 117)
  ("(var4 stable)" 117 206)
  ("(var4 down)" 206 286)
  ("(var4 up)" 286 288)
  ("(var4 down)" 288 290)
  ("(var4 stable)" 290 292)
  ("(var4 down)" 292 294)
  ("(var4 stable)" 294 324)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 116)
  ("(var1 stable)" 116 324)
  ("(var2 stable)" 0 99)
  ("(var2 up)" 99 101)
  ("(var2 down)" 101 106)
  ("(var2 up)" 106 227)
  ("(var2 stable)" 227 324)
 )
)
(12
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 75)
  ("(var3 stable)" 75 312)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 76)
  ("(var4 stable)" 76 199)
  ("(var4 down)" 199 274)
  ("(var4 stable)" 274 312)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 42)
  ("(var1 down)" 42 44)
  ("(var1 stable)" 44 46)
  ("(var1 up)" 46 77)
  ("(var1 stable)" 77 312)
  ("(var2 stable)" 0 61)
  ("(var2 up)" 61 63)
  ("(var2 down)" 63 68)
  ("(var2 up)" 68 203)
  ("(var2 stable)" 203 312)
 )
)
(13
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 69)
  ("(var3 stable)" 69 307)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 64)
  ("(var4 down)" 64 66)
  ("(var4 up)" 66 78)
  ("(var4 stable)" 78 157)
  ("(var4 down)" 157 261)
  ("(var4 stable)" 261 307)
  ("(var1 stable)" 0 31)
  ("(var1 up)" 31 41)
  ("(var1 stable)" 41 43)
  ("(var1 up)" 43 70)
  ("(var1 stable)" 70 307)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 55)
  ("(var2 down)" 55 60)
  ("(var2 up)" 60 162)
  ("(var2 down)" 162 164)
  ("(var2 up)" 164 171)
  ("(var2 stable)" 171 307)
 )
)
(14
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 88)
  ("(var3 down)" 88 92)
  ("(var3 stable)" 92 339)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 86)
  ("(var4 stable)" 86 209)
  ("(var4 down)" 209 231)
  ("(var4 stable)" 231 233)
  ("(var4 down)" 233 272)
  ("(var4 up)" 272 274)
  ("(var4 down)" 274 301)
  ("(var4 up)" 301 304)
  ("(var4 down)" 304 306)
  ("(var4 stable)" 306 339)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 87)
  ("(var1 stable)" 87 339)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 71)
  ("(var2 down)" 71 75)
  ("(var2 up)" 75 238)
  ("(var2 stable)" 238 339)
 )
)
(15
 (
  ("(var3 stable)" 0 78)
  ("(var3 down)" 78 80)
  ("(var3 up)" 80 107)
  ("(var3 stable)" 107 319)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 82)
  ("(var4 up)" 82 107)
  ("(var4 down)" 107 109)
  ("(var4 stable)" 109 215)
  ("(var4 down)" 215 275)
  ("(var4 up)" 275 277)
  ("(var4 down)" 277 280)
  ("(var4 stable)" 280 317)
  ("(var4 up)" 317 319)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 111)
  ("(var1 stable)" 111 319)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 94)
  ("(var2 down)" 94 99)
  ("(var2 up)" 99 215)
  ("(var2 stable)" 215 319)
 )
)
(16
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 115)
  ("(var3 stable)" 115 373)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 114)
  ("(var4 stable)" 114 218)
  ("(var4 down)" 218 220)
  ("(var4 up)" 220 222)
  ("(var4 down)" 222 224)
  ("(var4 up)" 224 226)
  ("(var4 down)" 226 334)
  ("(var4 stable)" 334 373)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 113)
  ("(var1 stable)" 113 115)
  ("(var1 up)" 115 117)
  ("(var1 stable)" 117 373)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 102)
  ("(var2 down)" 102 107)
  ("(var2 up)" 107 247)
  ("(var2 stable)" 247 373)
 )
)
(17
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 87)
  ("(var3 stable)" 87 303)
  ("(var4 stable)" 0 58)
  ("(var4 down)" 58 60)
  ("(var4 up)" 60 88)
  ("(var4 stable)" 88 204)
  ("(var4 down)" 204 260)
  ("(var4 up)" 260 262)
  ("(var4 stable)" 262 303)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 87)
  ("(var1 stable)" 87 303)
  ("(var2 stable)" 0 75)
  ("(var2 up)" 75 77)
  ("(var2 down)" 77 81)
  ("(var2 up)" 81 198)
  ("(var2 stable)" 198 303)
 )
)
(18
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 94)
  ("(var3 stable)" 94 341)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 94)
  ("(var4 stable)" 94 97)
  ("(var4 up)" 97 99)
  ("(var4 down)" 99 101)
  ("(var4 up)" 101 103)
  ("(var4 stable)" 103 201)
  ("(var4 down)" 201 287)
  ("(var4 stable)" 287 289)
  ("(var4 down)" 289 293)
  ("(var4 stable)" 293 295)
  ("(var4 down)" 295 313)
  ("(var4 stable)" 313 341)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 95)
  ("(var1 stable)" 95 341)
  ("(var2 stable)" 0 79)
  ("(var2 up)" 79 83)
  ("(var2 down)" 83 87)
  ("(var2 stable)" 87 129)
  ("(var2 up)" 129 230)
  ("(var2 stable)" 230 341)
 )
)
(19
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 67)
  ("(var3 stable)" 67 296)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 72)
  ("(var4 stable)" 72 160)
  ("(var4 down)" 160 250)
  ("(var4 stable)" 250 296)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 66)
  ("(var1 stable)" 66 296)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 53)
  ("(var2 down)" 53 58)
  ("(var2 up)" 58 182)
  ("(var2 stable)" 182 296)
 )
)
(20
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 62)
  ("(var3 stable)" 62 286)
  ("(var4 stable)" 0 29)
  ("(var4 up)" 29 31)
  ("(var4 down)" 31 33)
  ("(var4 up)" 33 63)
  ("(var4 stable)" 63 175)
  ("(var4 down)" 175 242)
  ("(var4 stable)" 242 286)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 66)
  ("(var1 stable)" 66 286)
  ("(var2 stable)" 0 47)
  ("(var2 up)" 47 49)
  ("(var2 down)" 49 54)
  ("(var2 up)" 54 170)
  ("(var2 stable)" 170 286)
 )
)
(21
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 87)
  ("(var3 stable)" 87 342)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 96)
  ("(var4 stable)" 96 198)
  ("(var4 down)" 198 200)
  ("(var4 up)" 200 206)
  ("(var4 down)" 206 310)
  ("(var4 stable)" 310 340)
  ("(var4 up)" 340 342)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 89)
  ("(var1 stable)" 89 91)
  ("(var1 up)" 91 94)
  ("(var1 stable)" 94 342)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 78)
  ("(var2 down)" 78 83)
  ("(var2 stable)" 83 124)
  ("(var2 up)" 124 225)
  ("(var2 down)" 225 227)
  ("(var2 stable)" 227 342)
 )
)
(22
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 66)
  ("(var3 stable)" 66 294)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 36)
  ("(var4 down)" 36 38)
  ("(var4 up)" 38 69)
  ("(var4 stable)" 69 153)
  ("(var4 down)" 153 248)
  ("(var4 stable)" 248 294)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 68)
  ("(var1 stable)" 68 294)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 53)
  ("(var2 down)" 53 58)
  ("(var2 stable)" 58 98)
  ("(var2 up)" 98 178)
  ("(var2 stable)" 178 294)
 )
)
(23
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 116)
  ("(var3 stable)" 116 363)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 127)
  ("(var4 stable)" 127 220)
  ("(var4 down)" 220 320)
  ("(var4 stable)" 320 322)
  ("(var4 down)" 322 324)
  ("(var4 stable)" 324 363)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 123)
  ("(var1 stable)" 123 363)
  ("(var2 stable)" 0 104)
  ("(var2 up)" 104 106)
  ("(var2 down)" 106 111)
  ("(var2 stable)" 111 153)
  ("(var2 up)" 153 155)
  ("(var2 stable)" 155 157)
  ("(var2 up)" 157 209)
  ("(var2 down)" 209 211)
  ("(var2 up)" 211 248)
  ("(var2 down)" 248 250)
  ("(var2 stable)" 250 252)
  ("(var2 up)" 252 254)
  ("(var2 stable)" 254 363)
 )
)
(24
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 81)
  ("(var3 stable)" 81 333)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 51)
  ("(var4 stable)" 51 53)
  ("(var4 up)" 53 87)
  ("(var4 stable)" 87 173)
  ("(var4 down)" 173 289)
  ("(var4 stable)" 289 333)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 82)
  ("(var1 stable)" 82 333)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 stable)" 72 116)
  ("(var2 up)" 116 174)
  ("(var2 down)" 174 176)
  ("(var2 up)" 176 216)
  ("(var2 stable)" 216 333)
 )
)
(25
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 61)
  ("(var3 down)" 61 63)
  ("(var3 up)" 63 83)
  ("(var3 stable)" 83 326)
  ("(var4 up)" 0 2)
  ("(var4 down)" 2 4)
  ("(var4 stable)" 4 58)
  ("(var4 up)" 58 89)
  ("(var4 stable)" 89 209)
  ("(var4 down)" 209 279)
  ("(var4 stable)" 279 326)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 85)
  ("(var1 stable)" 85 326)
  ("(var2 stable)" 0 71)
  ("(var2 up)" 71 73)
  ("(var2 down)" 73 78)
  ("(var2 stable)" 78 121)
  ("(var2 up)" 121 181)
  ("(var2 stable)" 181 326)
 )
)
(26
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 93)
  ("(var3 stable)" 93 334)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 95)
  ("(var4 down)" 95 97)
  ("(var4 stable)" 97 212)
  ("(var4 down)" 212 293)
  ("(var4 stable)" 293 334)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 99)
  ("(var1 stable)" 99 332)
  ("(var1 down)" 332 334)
  ("(var2 stable)" 0 81)
  ("(var2 up)" 81 83)
  ("(var2 down)" 83 88)
  ("(var2 up)" 88 223)
  ("(var2 stable)" 223 334)
 )
)
(27
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 106)
  ("(var3 stable)" 106 332)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 68)
  ("(var4 down)" 68 70)
  ("(var4 up)" 70 105)
  ("(var4 down)" 105 107)
  ("(var4 up)" 107 109)
  ("(var4 stable)" 109 195)
  ("(var4 down)" 195 307)
  ("(var4 stable)" 307 332)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 98)
  ("(var1 stable)" 98 332)
  ("(var2 stable)" 0 84)
  ("(var2 up)" 84 86)
  ("(var2 down)" 86 91)
  ("(var2 up)" 91 204)
  ("(var2 stable)" 204 332)
 )
)
(28
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 90)
  ("(var3 stable)" 90 336)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 92)
  ("(var4 stable)" 92 217)
  ("(var4 down)" 217 224)
  ("(var4 stable)" 224 226)
  ("(var4 down)" 226 314)
  ("(var4 stable)" 314 336)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 85)
  ("(var1 stable)" 85 336)
  ("(var2 stable)" 0 75)
  ("(var2 up)" 75 77)
  ("(var2 down)" 77 82)
  ("(var2 up)" 82 215)
  ("(var2 stable)" 215 336)
 )
)
(29
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 94)
  ("(var3 stable)" 94 335)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 99)
  ("(var4 stable)" 99 221)
  ("(var4 down)" 221 224)
  ("(var4 stable)" 224 226)
  ("(var4 down)" 226 292)
  ("(var4 stable)" 292 335)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 96)
  ("(var1 stable)" 96 335)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 84)
  ("(var2 up)" 84 198)
  ("(var2 down)" 198 200)
  ("(var2 stable)" 200 335)
 )
)
(30
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 64)
  ("(var3 stable)" 64 277)
  ("(var3 up)" 277 279)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 63)
  ("(var4 stable)" 63 65)
  ("(var4 up)" 65 68)
  ("(var4 stable)" 68 145)
  ("(var4 down)" 145 250)
  ("(var4 stable)" 250 279)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 67)
  ("(var1 stable)" 67 279)
  ("(var2 stable)" 0 48)
  ("(var2 up)" 48 50)
  ("(var2 down)" 50 55)
  ("(var2 stable)" 55 95)
  ("(var2 up)" 95 168)
  ("(var2 down)" 168 171)
  ("(var2 stable)" 171 279)
 )
)
(31
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 68)
  ("(var3 stable)" 68 292)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 78)
  ("(var4 stable)" 78 159)
  ("(var4 up)" 159 161)
  ("(var4 down)" 161 255)
  ("(var4 stable)" 255 292)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 41)
  ("(var1 stable)" 41 44)
  ("(var1 up)" 44 73)
  ("(var1 stable)" 73 292)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 66)
  ("(var2 up)" 66 166)
  ("(var2 stable)" 166 292)
 )
)
(32
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 101)
  ("(var3 stable)" 101 354)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 103)
  ("(var4 stable)" 103 230)
  ("(var4 down)" 230 310)
  ("(var4 stable)" 310 354)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 105)
  ("(var1 stable)" 105 354)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 up)" 95 199)
  ("(var2 down)" 199 201)
  ("(var2 up)" 201 239)
  ("(var2 stable)" 239 354)
 )
)
(33
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 96)
  ("(var3 stable)" 96 316)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 105)
  ("(var4 stable)" 105 205)
  ("(var4 down)" 205 286)
  ("(var4 stable)" 286 316)
  ("(var1 stable)" 0 57)
  ("(var1 down)" 57 59)
  ("(var1 up)" 59 91)
  ("(var1 stable)" 91 316)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 80)
  ("(var2 down)" 80 85)
  ("(var2 stable)" 85 122)
  ("(var2 up)" 122 220)
  ("(var2 stable)" 220 316)
 )
)
(34
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 92)
  ("(var3 stable)" 92 94)
  ("(var3 up)" 94 114)
  ("(var3 stable)" 114 347)
  ("(var4 stable)" 0 91)
  ("(var4 down)" 91 93)
  ("(var4 up)" 93 116)
  ("(var4 stable)" 116 211)
  ("(var4 down)" 211 298)
  ("(var4 stable)" 298 300)
  ("(var4 down)" 300 302)
  ("(var4 stable)" 302 347)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 84)
  ("(var1 down)" 84 86)
  ("(var1 up)" 86 119)
  ("(var1 stable)" 119 347)
  ("(var2 stable)" 0 103)
  ("(var2 up)" 103 105)
  ("(var2 down)" 105 110)
  ("(var2 up)" 110 196)
  ("(var2 down)" 196 198)
  ("(var2 up)" 198 233)
  ("(var2 stable)" 233 347)
 )
)
(35
 (
  ("(var3 stable)" 0 48)
  ("(var3 down)" 48 51)
  ("(var3 up)" 51 80)
  ("(var3 stable)" 80 328)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 86)
  ("(var4 stable)" 86 210)
  ("(var4 down)" 210 281)
  ("(var4 stable)" 281 285)
  ("(var4 down)" 285 287)
  ("(var4 stable)" 287 328)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 82)
  ("(var1 stable)" 82 328)
  ("(var2 stable)" 0 65)
  ("(var2 up)" 65 67)
  ("(var2 down)" 67 72)
  ("(var2 stable)" 72 116)
  ("(var2 up)" 116 201)
  ("(var2 down)" 201 203)
  ("(var2 up)" 203 206)
  ("(var2 stable)" 206 328)
 )
)
(36
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 114)
  ("(var3 stable)" 114 355)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 125)
  ("(var4 stable)" 125 227)
  ("(var4 down)" 227 321)
  ("(var4 stable)" 321 355)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 112)
  ("(var1 stable)" 112 355)
  ("(var2 stable)" 0 97)
  ("(var2 up)" 97 99)
  ("(var2 down)" 99 104)
  ("(var2 up)" 104 228)
  ("(var2 stable)" 228 355)
 )
)
(37
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 81)
  ("(var3 down)" 81 84)
  ("(var3 up)" 84 86)
  ("(var3 stable)" 86 323)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 89)
  ("(var4 stable)" 89 183)
  ("(var4 down)" 183 284)
  ("(var4 stable)" 284 321)
  ("(var4 up)" 321 323)
  ("(var1 stable)" 0 46)
  ("(var1 down)" 46 48)
  ("(var1 up)" 48 89)
  ("(var1 stable)" 89 323)
  ("(var2 stable)" 0 67)
  ("(var2 up)" 67 69)
  ("(var2 down)" 69 74)
  ("(var2 stable)" 74 122)
  ("(var2 up)" 122 204)
  ("(var2 down)" 204 206)
  ("(var2 stable)" 206 323)
 )
)
(38
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 64)
  ("(var3 down)" 64 66)
  ("(var3 up)" 66 68)
  ("(var3 stable)" 68 319)
  ("(var3 up)" 319 322)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 68)
  ("(var4 stable)" 68 166)
  ("(var4 down)" 166 168)
  ("(var4 up)" 168 171)
  ("(var4 stable)" 171 199)
  ("(var4 down)" 199 274)
  ("(var4 stable)" 274 322)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 73)
  ("(var1 stable)" 73 322)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 55)
  ("(var2 down)" 55 59)
  ("(var2 up)" 59 158)
  ("(var2 stable)" 158 160)
  ("(var2 up)" 160 203)
  ("(var2 stable)" 203 322)
 )
)
(39
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 83)
  ("(var3 stable)" 83 85)
  ("(var3 up)" 85 112)
  ("(var3 stable)" 112 343)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 114)
  ("(var4 stable)" 114 198)
  ("(var4 down)" 198 338)
  ("(var4 up)" 338 340)
  ("(var4 stable)" 340 343)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 109)
  ("(var1 stable)" 109 343)
  ("(var2 stable)" 0 95)
  ("(var2 up)" 95 97)
  ("(var2 down)" 97 101)
  ("(var2 up)" 101 197)
  ("(var2 down)" 197 199)
  ("(var2 up)" 199 231)
  ("(var2 stable)" 231 343)
 )
)
(40
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 121)
  ("(var3 stable)" 121 359)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 119)
  ("(var4 stable)" 119 230)
  ("(var4 down)" 230 232)
  ("(var4 stable)" 232 235)
  ("(var4 down)" 235 314)
  ("(var4 stable)" 314 357)
  ("(var4 up)" 357 359)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 121)
  ("(var1 stable)" 121 359)
  ("(var2 stable)" 0 105)
  ("(var2 up)" 105 107)
  ("(var2 down)" 107 112)
  ("(var2 up)" 112 218)
  ("(var2 stable)" 218 359)
 )
)
(41
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 115)
  ("(var3 stable)" 115 335)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 85)
  ("(var4 stable)" 85 88)
  ("(var4 up)" 88 122)
  ("(var4 stable)" 122 213)
  ("(var4 down)" 213 217)
  ("(var4 up)" 217 219)
  ("(var4 down)" 219 223)
  ("(var4 up)" 223 225)
  ("(var4 down)" 225 290)
  ("(var4 stable)" 290 335)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 84)
  ("(var1 stable)" 84 86)
  ("(var1 up)" 86 106)
  ("(var1 stable)" 106 335)
  ("(var2 stable)" 0 102)
  ("(var2 up)" 102 227)
  ("(var2 stable)" 227 335)
 )
)
(42
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 80)
  ("(var3 down)" 80 82)
  ("(var3 up)" 82 111)
  ("(var3 stable)" 111 114)
  ("(var3 up)" 114 119)
  ("(var3 stable)" 119 367)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 114)
  ("(var4 stable)" 114 222)
  ("(var4 down)" 222 224)
  ("(var4 up)" 224 226)
  ("(var4 down)" 226 328)
  ("(var4 stable)" 328 367)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 83)
  ("(var1 stable)" 83 85)
  ("(var1 up)" 85 114)
  ("(var1 stable)" 114 116)
  ("(var1 up)" 116 118)
  ("(var1 stable)" 118 367)
  ("(var2 stable)" 0 98)
  ("(var2 up)" 98 100)
  ("(var2 down)" 100 109)
  ("(var2 stable)" 109 125)
  ("(var2 up)" 125 206)
  ("(var2 stable)" 206 208)
  ("(var2 up)" 208 238)
  ("(var2 stable)" 238 367)
 )
)
(43
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 87)
  ("(var3 stable)" 87 330)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 92)
  ("(var4 stable)" 92 214)
  ("(var4 down)" 214 291)
  ("(var4 stable)" 291 330)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 53)
  ("(var1 stable)" 53 57)
  ("(var1 up)" 57 90)
  ("(var1 stable)" 90 330)
  ("(var2 stable)" 0 72)
  ("(var2 up)" 72 74)
  ("(var2 down)" 74 79)
  ("(var2 up)" 79 207)
  ("(var2 down)" 207 209)
  ("(var2 up)" 209 214)
  ("(var2 stable)" 214 330)
 )
)
(44
 (
  ("(var3 stable)" 0 38)
  ("(var3 down)" 38 40)
  ("(var3 up)" 40 62)
  ("(var3 stable)" 62 275)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 63)
  ("(var4 stable)" 63 152)
  ("(var4 down)" 152 233)
  ("(var4 stable)" 233 273)
  ("(var4 up)" 273 275)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 58)
  ("(var1 stable)" 58 275)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 up)" 56 170)
  ("(var2 stable)" 170 275)
 )
)
(45
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 114)
  ("(var3 stable)" 114 351)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 123)
  ("(var4 stable)" 123 230)
  ("(var4 down)" 230 305)
  ("(var4 stable)" 305 307)
  ("(var4 down)" 307 311)
  ("(var4 stable)" 311 351)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 119)
  ("(var1 stable)" 119 351)
  ("(var2 stable)" 0 101)
  ("(var2 up)" 101 103)
  ("(var2 down)" 103 108)
  ("(var2 stable)" 108 146)
  ("(var2 up)" 146 252)
  ("(var2 stable)" 252 351)
 )
)
(46
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 70)
  ("(var3 stable)" 70 304)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 38)
  ("(var4 down)" 38 40)
  ("(var4 up)" 40 72)
  ("(var4 stable)" 72 171)
  ("(var4 down)" 171 272)
  ("(var4 stable)" 272 304)
  ("(var1 stable)" 0 19)
  ("(var1 up)" 19 23)
  ("(var1 down)" 23 25)
  ("(var1 up)" 25 72)
  ("(var1 stable)" 72 304)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 stable)" 59 100)
  ("(var2 up)" 100 167)
  ("(var2 stable)" 167 169)
  ("(var2 up)" 169 171)
  ("(var2 down)" 171 174)
  ("(var2 up)" 174 176)
  ("(var2 down)" 176 178)
  ("(var2 up)" 178 183)
  ("(var2 stable)" 183 304)
 )
)
(47
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 65)
  ("(var3 stable)" 65 280)
  ("(var4 stable)" 0 29)
  ("(var4 up)" 29 31)
  ("(var4 stable)" 31 34)
  ("(var4 up)" 34 62)
  ("(var4 stable)" 62 173)
  ("(var4 down)" 173 238)
  ("(var4 stable)" 238 240)
  ("(var4 down)" 240 243)
  ("(var4 stable)" 243 280)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 64)
  ("(var1 stable)" 64 280)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 55)
  ("(var2 up)" 55 91)
  ("(var2 stable)" 91 93)
  ("(var2 up)" 93 183)
  ("(var2 stable)" 183 280)
 )
)
(48
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 104)
  ("(var3 stable)" 104 348)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 105)
  ("(var4 stable)" 105 107)
  ("(var4 up)" 107 109)
  ("(var4 stable)" 109 235)
  ("(var4 down)" 235 302)
  ("(var4 stable)" 302 348)
  ("(var1 stable)" 0 67)
  ("(var1 down)" 67 69)
  ("(var1 up)" 69 103)
  ("(var1 stable)" 103 348)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 up)" 95 219)
  ("(var2 down)" 219 221)
  ("(var2 up)" 221 223)
  ("(var2 stable)" 223 348)
 )
)
(49
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 79)
  ("(var3 stable)" 79 335)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 82)
  ("(var4 down)" 82 85)
  ("(var4 stable)" 85 217)
  ("(var4 down)" 217 228)
  ("(var4 up)" 228 230)
  ("(var4 down)" 230 280)
  ("(var4 up)" 280 282)
  ("(var4 stable)" 282 335)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 49)
  ("(var1 stable)" 49 51)
  ("(var1 up)" 51 83)
  ("(var1 stable)" 83 85)
  ("(var1 up)" 85 87)
  ("(var1 stable)" 87 335)
  ("(var2 stable)" 0 66)
  ("(var2 up)" 66 68)
  ("(var2 down)" 68 73)
  ("(var2 stable)" 73 118)
  ("(var2 up)" 118 209)
  ("(var2 stable)" 209 335)
 )
)
(50
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 64)
  ("(var3 down)" 64 66)
  ("(var3 up)" 66 94)
  ("(var3 stable)" 94 342)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 93)
  ("(var4 down)" 93 96)
  ("(var4 up)" 96 98)
  ("(var4 stable)" 98 204)
  ("(var4 down)" 204 296)
  ("(var4 up)" 296 299)
  ("(var4 down)" 299 301)
  ("(var4 up)" 301 303)
  ("(var4 down)" 303 305)
  ("(var4 stable)" 305 342)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 91)
  ("(var1 stable)" 91 342)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 80)
  ("(var2 down)" 80 85)
  ("(var2 stable)" 85 135)
  ("(var2 up)" 135 221)
  ("(var2 stable)" 221 342)
 )
)
(51
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 71)
  ("(var3 stable)" 71 315)
  ("(var4 up)" 0 3)
  ("(var4 stable)" 3 41)
  ("(var4 up)" 41 75)
  ("(var4 stable)" 75 175)
  ("(var4 down)" 175 203)
  ("(var4 stable)" 203 205)
  ("(var4 down)" 205 296)
  ("(var4 stable)" 296 315)
  ("(var1 stable)" 0 42)
  ("(var1 down)" 42 44)
  ("(var1 up)" 44 71)
  ("(var1 stable)" 71 315)
  ("(var2 stable)" 0 55)
  ("(var2 up)" 55 57)
  ("(var2 down)" 57 62)
  ("(var2 stable)" 62 110)
  ("(var2 up)" 110 160)
  ("(var2 down)" 160 162)
  ("(var2 up)" 162 164)
  ("(var2 down)" 164 167)
  ("(var2 up)" 167 201)
  ("(var2 down)" 201 203)
  ("(var2 up)" 203 205)
  ("(var2 stable)" 205 315)
 )
)
(52
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 113)
  ("(var3 down)" 113 115)
  ("(var3 up)" 115 119)
  ("(var3 stable)" 119 374)
  ("(var4 stable)" 0 89)
  ("(var4 up)" 89 123)
  ("(var4 stable)" 123 224)
  ("(var4 down)" 224 328)
  ("(var4 up)" 328 330)
  ("(var4 down)" 330 332)
  ("(var4 stable)" 332 374)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 116)
  ("(var1 stable)" 116 374)
  ("(var2 stable)" 0 99)
  ("(var2 up)" 99 103)
  ("(var2 down)" 103 108)
  ("(var2 stable)" 108 155)
  ("(var2 up)" 155 225)
  ("(var2 stable)" 225 374)
 )
)
(53
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 92)
  ("(var3 down)" 92 94)
  ("(var3 up)" 94 125)
  ("(var3 stable)" 125 353)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 126)
  ("(var4 stable)" 126 220)
  ("(var4 down)" 220 305)
  ("(var4 stable)" 305 353)
  ("(var1 stable)" 0 93)
  ("(var1 up)" 93 120)
  ("(var1 stable)" 120 353)
  ("(var2 stable)" 0 107)
  ("(var2 up)" 107 109)
  ("(var2 down)" 109 114)
  ("(var2 stable)" 114 154)
  ("(var2 up)" 154 156)
  ("(var2 stable)" 156 159)
  ("(var2 up)" 159 245)
  ("(var2 stable)" 245 353)
 )
)
(54
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 109)
  ("(var3 stable)" 109 343)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 111)
  ("(var4 stable)" 111 208)
  ("(var4 down)" 208 296)
  ("(var4 stable)" 296 343)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 108)
  ("(var1 stable)" 108 343)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 94)
  ("(var2 down)" 94 99)
  ("(var2 stable)" 99 142)
  ("(var2 up)" 142 226)
  ("(var2 stable)" 226 343)
 )
)
(55
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 58)
  ("(var3 up)" 58 89)
  ("(var3 stable)" 89 322)
  ("(var4 stable)" 0 55)
  ("(var4 down)" 55 58)
  ("(var4 up)" 58 87)
  ("(var4 stable)" 87 186)
  ("(var4 down)" 186 188)
  ("(var4 up)" 188 191)
  ("(var4 down)" 191 276)
  ("(var4 stable)" 276 322)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 89)
  ("(var1 stable)" 89 322)
  ("(var2 stable)" 0 71)
  ("(var2 up)" 71 73)
  ("(var2 down)" 73 78)
  ("(var2 up)" 78 200)
  ("(var2 stable)" 200 220)
  ("(var2 up)" 220 222)
  ("(var2 stable)" 222 322)
 )
)
(56
 (
  ("(var3 stable)" 0 80)
  ("(var3 down)" 80 83)
  ("(var3 up)" 83 117)
  ("(var3 stable)" 117 368)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 120)
  ("(var4 stable)" 120 246)
  ("(var4 down)" 246 318)
  ("(var4 up)" 318 320)
  ("(var4 down)" 320 322)
  ("(var4 stable)" 322 365)
  ("(var4 up)" 365 368)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 119)
  ("(var1 stable)" 119 368)
  ("(var2 stable)" 0 103)
  ("(var2 up)" 103 107)
  ("(var2 down)" 107 111)
  ("(var2 stable)" 111 157)
  ("(var2 up)" 157 208)
  ("(var2 down)" 208 210)
  ("(var2 up)" 210 255)
  ("(var2 stable)" 255 368)
 )
)
(57
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 64)
  ("(var3 stable)" 64 314)
  ("(var4 stable)" 0 31)
  ("(var4 up)" 31 59)
  ("(var4 down)" 59 61)
  ("(var4 up)" 61 70)
  ("(var4 stable)" 70 199)
  ("(var4 down)" 199 265)
  ("(var4 stable)" 265 314)
  ("(var1 stable)" 0 30)
  ("(var1 up)" 30 69)
  ("(var1 stable)" 69 314)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 53)
  ("(var2 down)" 53 58)
  ("(var2 stable)" 58 108)
  ("(var2 up)" 108 160)
  ("(var2 stable)" 160 164)
  ("(var2 up)" 164 198)
  ("(var2 stable)" 198 314)
 )
)
(58
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 82)
  ("(var3 stable)" 82 316)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 50)
  ("(var4 down)" 50 52)
  ("(var4 up)" 52 90)
  ("(var4 stable)" 90 188)
  ("(var4 up)" 188 190)
  ("(var4 down)" 190 267)
  ("(var4 stable)" 267 314)
  ("(var4 up)" 314 316)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 82)
  ("(var1 stable)" 82 316)
  ("(var2 stable)" 0 68)
  ("(var2 up)" 68 70)
  ("(var2 down)" 70 75)
  ("(var2 stable)" 75 116)
  ("(var2 up)" 116 197)
  ("(var2 stable)" 197 316)
 )
)
(59
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 94)
  ("(var3 stable)" 94 326)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 62)
  ("(var4 stable)" 62 66)
  ("(var4 up)" 66 95)
  ("(var4 stable)" 95 194)
  ("(var4 down)" 194 281)
  ("(var4 stable)" 281 326)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 94)
  ("(var1 stable)" 94 326)
  ("(var2 stable)" 0 79)
  ("(var2 up)" 79 81)
  ("(var2 down)" 81 85)
  ("(var2 up)" 85 219)
  ("(var2 stable)" 219 326)
 )
)
(60
 (
  ("(var3 stable)" 0 48)
  ("(var3 up)" 48 51)
  ("(var3 stable)" 51 54)
  ("(var3 up)" 54 77)
  ("(var3 stable)" 77 300)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 82)
  ("(var4 stable)" 82 171)
  ("(var4 down)" 171 175)
  ("(var4 up)" 175 177)
  ("(var4 down)" 177 249)
  ("(var4 stable)" 249 252)
  ("(var4 down)" 252 256)
  ("(var4 stable)" 256 262)
  ("(var4 down)" 262 264)
  ("(var4 stable)" 264 300)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 77)
  ("(var1 stable)" 77 300)
  ("(var2 stable)" 0 60)
  ("(var2 up)" 60 62)
  ("(var2 down)" 62 69)
  ("(var2 up)" 69 154)
  ("(var2 stable)" 154 156)
  ("(var2 up)" 156 188)
  ("(var2 stable)" 188 300)
 )
)
(61
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 106)
  ("(var3 stable)" 106 338)
  ("(var4 stable)" 0 74)
  ("(var4 down)" 74 76)
  ("(var4 up)" 76 102)
  ("(var4 stable)" 102 104)
  ("(var4 up)" 104 106)
  ("(var4 down)" 106 108)
  ("(var4 stable)" 108 196)
  ("(var4 down)" 196 230)
  ("(var4 up)" 230 232)
  ("(var4 down)" 232 306)
  ("(var4 stable)" 306 338)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 102)
  ("(var1 stable)" 102 338)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 up)" 94 220)
  ("(var2 stable)" 220 338)
 )
)
(62
 (
  ("(var3 stable)" 0 39)
  ("(var3 down)" 39 41)
  ("(var3 up)" 41 87)
  ("(var3 stable)" 87 320)
  ("(var4 stable)" 0 54)
  ("(var4 down)" 54 57)
  ("(var4 up)" 57 59)
  ("(var4 stable)" 59 61)
  ("(var4 up)" 61 90)
  ("(var4 down)" 90 93)
  ("(var4 up)" 93 96)
  ("(var4 stable)" 96 179)
  ("(var4 down)" 179 279)
  ("(var4 stable)" 279 320)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 87)
  ("(var1 stable)" 87 320)
  ("(var2 stable)" 0 72)
  ("(var2 up)" 72 74)
  ("(var2 down)" 74 79)
  ("(var2 up)" 79 163)
  ("(var2 stable)" 163 165)
  ("(var2 up)" 165 203)
  ("(var2 stable)" 203 320)
 )
)
(63
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 71)
  ("(var3 stable)" 71 319)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 71)
  ("(var4 down)" 71 73)
  ("(var4 up)" 73 80)
  ("(var4 down)" 80 82)
  ("(var4 stable)" 82 166)
  ("(var4 down)" 166 280)
  ("(var4 stable)" 280 319)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 80)
  ("(var1 stable)" 80 319)
  ("(var2 stable)" 0 58)
  ("(var2 up)" 58 60)
  ("(var2 down)" 60 65)
  ("(var2 stable)" 65 103)
  ("(var2 up)" 103 161)
  ("(var2 down)" 161 163)
  ("(var2 up)" 163 189)
  ("(var2 down)" 189 191)
  ("(var2 stable)" 191 319)
 )
)
(64
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 94)
  ("(var3 stable)" 94 343)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 95)
  ("(var4 stable)" 95 225)
  ("(var4 down)" 225 227)
  ("(var4 stable)" 227 231)
  ("(var4 down)" 231 233)
  ("(var4 up)" 233 235)
  ("(var4 down)" 235 238)
  ("(var4 up)" 238 240)
  ("(var4 down)" 240 242)
  ("(var4 stable)" 242 244)
  ("(var4 down)" 244 304)
  ("(var4 stable)" 304 343)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 97)
  ("(var1 stable)" 97 343)
  ("(var2 stable)" 0 76)
  ("(var2 up)" 76 80)
  ("(var2 down)" 80 84)
  ("(var2 up)" 84 198)
  ("(var2 stable)" 198 243)
  ("(var2 down)" 243 245)
  ("(var2 stable)" 245 343)
 )
)
(65
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 100)
  ("(var3 stable)" 100 324)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 106)
  ("(var4 stable)" 106 199)
  ("(var4 down)" 199 275)
  ("(var4 stable)" 275 322)
  ("(var4 up)" 322 324)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 94)
  ("(var1 stable)" 94 324)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 up)" 95 187)
  ("(var2 stable)" 187 190)
  ("(var2 up)" 190 192)
  ("(var2 stable)" 192 324)
 )
)
(66
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 84)
  ("(var3 stable)" 84 306)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 85)
  ("(var4 stable)" 85 169)
  ("(var4 down)" 169 269)
  ("(var4 stable)" 269 306)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 86)
  ("(var1 stable)" 86 306)
  ("(var2 stable)" 0 73)
  ("(var2 up)" 73 75)
  ("(var2 down)" 75 80)
  ("(var2 up)" 80 166)
  ("(var2 stable)" 166 169)
  ("(var2 up)" 169 174)
  ("(var2 stable)" 174 306)
 )
)
(67
 (
  ("(var3 down)" 0 4)
  ("(var3 up)" 4 6)
  ("(var3 down)" 6 8)
  ("(var3 stable)" 8 35)
  ("(var3 up)" 35 59)
  ("(var3 stable)" 59 294)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 67)
  ("(var4 stable)" 67 186)
  ("(var4 down)" 186 260)
  ("(var4 stable)" 260 294)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 61)
  ("(var1 stable)" 61 294)
  ("(var2 down)" 0 3)
  ("(var2 stable)" 3 46)
  ("(var2 up)" 46 50)
  ("(var2 down)" 50 55)
  ("(var2 up)" 55 171)
  ("(var2 stable)" 171 294)
 )
)
(68
 (
  ("(var3 stable)" 0 39)
  ("(var3 down)" 39 41)
  ("(var3 up)" 41 66)
  ("(var3 stable)" 66 309)
  ("(var4 stable)" 0 27)
  ("(var4 up)" 27 81)
  ("(var4 stable)" 81 159)
  ("(var4 down)" 159 161)
  ("(var4 up)" 161 163)
  ("(var4 down)" 163 192)
  ("(var4 stable)" 192 197)
  ("(var4 down)" 197 259)
  ("(var4 stable)" 259 263)
  ("(var4 down)" 263 265)
  ("(var4 stable)" 265 270)
  ("(var4 down)" 270 272)
  ("(var4 up)" 272 275)
  ("(var4 down)" 275 280)
  ("(var4 stable)" 280 309)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 66)
  ("(var1 stable)" 66 309)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 up)" 59 196)
  ("(var2 stable)" 196 309)
 )
)
(69
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 83)
  ("(var3 stable)" 83 292)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 85)
  ("(var4 stable)" 85 177)
  ("(var4 down)" 177 179)
  ("(var4 up)" 179 181)
  ("(var4 down)" 181 264)
  ("(var4 stable)" 264 292)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 81)
  ("(var1 stable)" 81 292)
  ("(var2 stable)" 0 67)
  ("(var2 up)" 67 69)
  ("(var2 down)" 69 73)
  ("(var2 up)" 73 195)
  ("(var2 stable)" 195 292)
 )
)
(70
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 97)
  ("(var3 stable)" 97 327)
  ("(var4 stable)" 0 62)
  ("(var4 down)" 62 64)
  ("(var4 up)" 64 93)
  ("(var4 stable)" 93 183)
  ("(var4 down)" 183 185)
  ("(var4 up)" 185 188)
  ("(var4 down)" 188 305)
  ("(var4 stable)" 305 327)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 92)
  ("(var1 stable)" 92 327)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 80)
  ("(var2 down)" 80 85)
  ("(var2 stable)" 85 130)
  ("(var2 up)" 130 228)
  ("(var2 stable)" 228 327)
 )
)
(71
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 93)
  ("(var3 stable)" 93 328)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 95)
  ("(var4 stable)" 95 217)
  ("(var4 down)" 217 295)
  ("(var4 stable)" 295 324)
  ("(var4 up)" 324 326)
  ("(var4 down)" 326 328)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 96)
  ("(var1 stable)" 96 328)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 84)
  ("(var2 up)" 84 211)
  ("(var2 stable)" 211 328)
 )
)
(72
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 66)
  ("(var3 stable)" 66 291)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 74)
  ("(var4 stable)" 74 175)
  ("(var4 down)" 175 277)
  ("(var4 stable)" 277 291)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 68)
  ("(var1 stable)" 68 291)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 up)" 59 160)
  ("(var2 stable)" 160 190)
  ("(var2 down)" 190 192)
  ("(var2 stable)" 192 291)
 )
)
(73
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 125)
  ("(var3 stable)" 125 370)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 120)
  ("(var4 down)" 120 122)
  ("(var4 stable)" 122 253)
  ("(var4 down)" 253 326)
  ("(var4 stable)" 326 370)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 87)
  ("(var1 stable)" 87 90)
  ("(var1 up)" 90 123)
  ("(var1 stable)" 123 370)
  ("(var2 stable)" 0 102)
  ("(var2 up)" 102 106)
  ("(var2 down)" 106 111)
  ("(var2 up)" 111 253)
  ("(var2 stable)" 253 370)
 )
)
(74
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 102)
  ("(var3 stable)" 102 362)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 105)
  ("(var4 stable)" 105 211)
  ("(var4 up)" 211 213)
  ("(var4 down)" 213 240)
  ("(var4 stable)" 240 242)
  ("(var4 down)" 242 311)
  ("(var4 stable)" 311 362)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 105)
  ("(var1 stable)" 105 362)
  ("(var2 stable)" 0 88)
  ("(var2 up)" 88 90)
  ("(var2 down)" 90 95)
  ("(var2 stable)" 95 142)
  ("(var2 up)" 142 230)
  ("(var2 down)" 230 232)
  ("(var2 stable)" 232 362)
 )
)
(75
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 107)
  ("(var3 down)" 107 109)
  ("(var3 stable)" 109 373)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 112)
  ("(var4 stable)" 112 224)
  ("(var4 down)" 224 324)
  ("(var4 stable)" 324 373)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 118)
  ("(var1 stable)" 118 373)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 98)
  ("(var2 down)" 98 103)
  ("(var2 up)" 103 245)
  ("(var2 stable)" 245 373)
 )
)
(76
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 123)
  ("(var3 stable)" 123 125)
  ("(var3 up)" 125 129)
  ("(var3 stable)" 129 382)
  ("(var4 stable)" 0 89)
  ("(var4 up)" 89 91)
  ("(var4 stable)" 91 95)
  ("(var4 up)" 95 132)
  ("(var4 stable)" 132 253)
  ("(var4 down)" 253 338)
  ("(var4 stable)" 338 380)
  ("(var4 up)" 380 382)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 93)
  ("(var1 stable)" 93 95)
  ("(var1 up)" 95 123)
  ("(var1 stable)" 123 126)
  ("(var1 up)" 126 128)
  ("(var1 stable)" 128 382)
  ("(var2 stable)" 0 108)
  ("(var2 up)" 108 112)
  ("(var2 down)" 112 116)
  ("(var2 up)" 116 284)
  ("(var2 stable)" 284 382)
 )
)
(77
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 98)
  ("(var3 stable)" 98 351)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 95)
  ("(var4 stable)" 95 208)
  ("(var4 down)" 208 284)
  ("(var4 up)" 284 286)
  ("(var4 down)" 286 325)
  ("(var4 up)" 325 327)
  ("(var4 stable)" 327 329)
  ("(var4 down)" 329 332)
  ("(var4 stable)" 332 351)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 98)
  ("(var1 stable)" 98 351)
  ("(var2 stable)" 0 80)
  ("(var2 up)" 80 84)
  ("(var2 down)" 84 87)
  ("(var2 up)" 87 244)
  ("(var2 stable)" 244 351)
 )
)
(78
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 86)
  ("(var3 stable)" 86 322)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 81)
  ("(var4 down)" 81 83)
  ("(var4 up)" 83 95)
  ("(var4 stable)" 95 188)
  ("(var4 down)" 188 276)
  ("(var4 stable)" 276 284)
  ("(var4 down)" 284 286)
  ("(var4 stable)" 286 322)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 88)
  ("(var1 stable)" 88 322)
  ("(var2 stable)" 0 72)
  ("(var2 up)" 72 74)
  ("(var2 down)" 74 79)
  ("(var2 up)" 79 204)
  ("(var2 stable)" 204 322)
 )
)
(79
 (
  ("(var3 stable)" 0 91)
  ("(var3 up)" 91 93)
  ("(var3 down)" 93 95)
  ("(var3 up)" 95 126)
  ("(var3 stable)" 126 360)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 127)
  ("(var4 stable)" 127 224)
  ("(var4 down)" 224 314)
  ("(var4 stable)" 314 360)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 94)
  ("(var1 down)" 94 96)
  ("(var1 up)" 96 125)
  ("(var1 stable)" 125 360)
  ("(var2 stable)" 0 106)
  ("(var2 up)" 106 108)
  ("(var2 down)" 108 113)
  ("(var2 stable)" 113 160)
  ("(var2 up)" 160 219)
  ("(var2 stable)" 219 256)
  ("(var2 down)" 256 258)
  ("(var2 up)" 258 260)
  ("(var2 stable)" 260 360)
 )
)
(80
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 104)
  ("(var3 stable)" 104 319)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 102)
  ("(var4 stable)" 102 104)
  ("(var4 up)" 104 106)
  ("(var4 stable)" 106 191)
  ("(var4 down)" 191 193)
  ("(var4 up)" 193 195)
  ("(var4 down)" 195 288)
  ("(var4 stable)" 288 319)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 107)
  ("(var1 stable)" 107 319)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 94)
  ("(var2 down)" 94 99)
  ("(var2 up)" 99 219)
  ("(var2 stable)" 219 319)
 )
)
(81
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 59)
  ("(var3 stable)" 59 61)
  ("(var3 down)" 61 63)
  ("(var3 up)" 63 94)
  ("(var3 stable)" 94 322)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 102)
  ("(var4 stable)" 102 181)
  ("(var4 down)" 181 282)
  ("(var4 stable)" 282 322)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 97)
  ("(var1 stable)" 97 322)
  ("(var2 stable)" 0 80)
  ("(var2 up)" 80 82)
  ("(var2 down)" 82 87)
  ("(var2 up)" 87 208)
  ("(var2 stable)" 208 322)
 )
)
(82
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 84)
  ("(var3 up)" 84 116)
  ("(var3 stable)" 116 361)
  ("(var4 up)" 0 2)
  ("(var4 stable)" 2 81)
  ("(var4 up)" 81 111)
  ("(var4 stable)" 111 113)
  ("(var4 up)" 113 117)
  ("(var4 stable)" 117 212)
  ("(var4 up)" 212 214)
  ("(var4 stable)" 214 243)
  ("(var4 down)" 243 314)
  ("(var4 stable)" 314 361)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 120)
  ("(var1 stable)" 120 361)
  ("(var2 stable)" 0 100)
  ("(var2 up)" 100 102)
  ("(var2 down)" 102 107)
  ("(var2 up)" 107 210)
  ("(var2 down)" 210 212)
  ("(var2 up)" 212 249)
  ("(var2 stable)" 249 361)
 )
)
(83
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 37)
  ("(var3 stable)" 37 42)
  ("(var3 up)" 42 71)
  ("(var3 stable)" 71 324)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 73)
  ("(var4 stable)" 73 200)
  ("(var4 down)" 200 202)
  ("(var4 stable)" 202 204)
  ("(var4 down)" 204 275)
  ("(var4 stable)" 275 324)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 79)
  ("(var1 stable)" 79 324)
  ("(var2 stable)" 0 55)
  ("(var2 up)" 55 57)
  ("(var2 down)" 57 62)
  ("(var2 stable)" 62 113)
  ("(var2 up)" 113 115)
  ("(var2 stable)" 115 117)
  ("(var2 up)" 117 200)
  ("(var2 down)" 200 202)
  ("(var2 stable)" 202 324)
 )
)
(84
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 83)
  ("(var3 stable)" 83 314)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 88)
  ("(var4 stable)" 88 200)
  ("(var4 down)" 200 268)
  ("(var4 stable)" 268 314)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 84)
  ("(var1 stable)" 84 314)
  ("(var2 stable)" 0 67)
  ("(var2 up)" 67 69)
  ("(var2 down)" 69 74)
  ("(var2 stable)" 74 112)
  ("(var2 up)" 112 190)
  ("(var2 stable)" 190 192)
  ("(var2 up)" 192 194)
  ("(var2 stable)" 194 314)
 )
)
(85
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 97)
  ("(var3 stable)" 97 315)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 111)
  ("(var4 stable)" 111 198)
  ("(var4 up)" 198 200)
  ("(var4 down)" 200 290)
  ("(var4 stable)" 290 315)
  ("(var1 stable)" 0 68)
  ("(var1 down)" 68 71)
  ("(var1 up)" 71 102)
  ("(var1 stable)" 102 315)
  ("(var2 stable)" 0 87)
  ("(var2 up)" 87 89)
  ("(var2 down)" 89 94)
  ("(var2 up)" 94 219)
  ("(var2 stable)" 219 315)
 )
)
(86
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 105)
  ("(var3 stable)" 105 333)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 110)
  ("(var4 stable)" 110 226)
  ("(var4 down)" 226 287)
  ("(var4 up)" 287 289)
  ("(var4 down)" 289 291)
  ("(var4 stable)" 291 333)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 110)
  ("(var1 stable)" 110 333)
  ("(var2 stable)" 0 91)
  ("(var2 up)" 91 93)
  ("(var2 down)" 93 98)
  ("(var2 up)" 98 223)
  ("(var2 down)" 223 227)
  ("(var2 up)" 227 229)
  ("(var2 stable)" 229 333)
 )
)
(87
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 114)
  ("(var3 stable)" 114 341)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 110)
  ("(var4 down)" 110 112)
  ("(var4 up)" 112 114)
  ("(var4 stable)" 114 228)
  ("(var4 down)" 228 293)
  ("(var4 stable)" 293 295)
  ("(var4 down)" 295 297)
  ("(var4 up)" 297 300)
  ("(var4 stable)" 300 339)
  ("(var4 down)" 339 341)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 84)
  ("(var1 stable)" 84 86)
  ("(var1 up)" 86 113)
  ("(var1 stable)" 113 341)
  ("(var2 stable)" 0 99)
  ("(var2 up)" 99 103)
  ("(var2 down)" 103 105)
  ("(var2 up)" 105 238)
  ("(var2 stable)" 238 341)
 )
)
(88
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 44)
  ("(var3 stable)" 44 46)
  ("(var3 up)" 46 70)
  ("(var3 stable)" 70 291)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 73)
  ("(var4 stable)" 73 182)
  ("(var4 down)" 182 185)
  ("(var4 up)" 185 187)
  ("(var4 down)" 187 255)
  ("(var4 stable)" 255 291)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 76)
  ("(var1 stable)" 76 291)
  ("(var2 stable)" 0 57)
  ("(var2 up)" 57 59)
  ("(var2 down)" 59 64)
  ("(var2 up)" 64 182)
  ("(var2 stable)" 182 291)
 )
)
(89
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 64)
  ("(var3 stable)" 64 296)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 68)
  ("(var4 stable)" 68 166)
  ("(var4 down)" 166 264)
  ("(var4 stable)" 264 296)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 68)
  ("(var1 stable)" 68 296)
  ("(var2 stable)" 0 51)
  ("(var2 up)" 51 53)
  ("(var2 down)" 53 58)
  ("(var2 up)" 58 187)
  ("(var2 stable)" 187 296)
 )
)
(90
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 51)
  ("(var3 stable)" 51 53)
  ("(var3 up)" 53 79)
  ("(var3 stable)" 79 333)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 72)
  ("(var4 down)" 72 74)
  ("(var4 up)" 74 87)
  ("(var4 down)" 87 89)
  ("(var4 up)" 89 92)
  ("(var4 stable)" 92 191)
  ("(var4 down)" 191 287)
  ("(var4 stable)" 287 333)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 51)
  ("(var1 stable)" 51 53)
  ("(var1 up)" 53 81)
  ("(var1 stable)" 81 333)
  ("(var2 stable)" 0 61)
  ("(var2 up)" 61 67)
  ("(var2 down)" 67 71)
  ("(var2 stable)" 71 116)
  ("(var2 up)" 116 211)
  ("(var2 stable)" 211 333)
 )
)
(91
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 66)
  ("(var3 stable)" 66 70)
  ("(var3 up)" 70 93)
  ("(var3 stable)" 93 95)
  ("(var3 up)" 95 97)
  ("(var3 down)" 97 99)
  ("(var3 stable)" 99 319)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 98)
  ("(var4 stable)" 98 189)
  ("(var4 down)" 189 278)
  ("(var4 stable)" 278 319)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 97)
  ("(var1 stable)" 97 319)
  ("(var2 stable)" 0 81)
  ("(var2 up)" 81 83)
  ("(var2 down)" 83 87)
  ("(var2 up)" 87 214)
  ("(var2 stable)" 214 319)
 )
)
(92
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 64)
  ("(var3 stable)" 64 299)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 34)
  ("(var4 stable)" 34 36)
  ("(var4 up)" 36 64)
  ("(var4 stable)" 64 71)
  ("(var4 up)" 71 73)
  ("(var4 down)" 73 75)
  ("(var4 up)" 75 77)
  ("(var4 stable)" 77 165)
  ("(var4 down)" 165 255)
  ("(var4 stable)" 255 299)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 65)
  ("(var1 stable)" 65 299)
  ("(var2 stable)" 0 49)
  ("(var2 up)" 49 51)
  ("(var2 down)" 51 56)
  ("(var2 up)" 56 191)
  ("(var2 stable)" 191 299)
 )
)
(93
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 91)
  ("(var3 stable)" 91 319)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 62)
  ("(var4 up)" 62 95)
  ("(var4 stable)" 95 208)
  ("(var4 down)" 208 283)
  ("(var4 stable)" 283 317)
  ("(var4 down)" 317 319)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 88)
  ("(var1 stable)" 88 319)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 79)
  ("(var2 down)" 79 82)
  ("(var2 up)" 82 244)
  ("(var2 stable)" 244 319)
 )
)
(94
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 85)
  ("(var3 stable)" 85 305)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 90)
  ("(var4 stable)" 90 92)
  ("(var4 up)" 92 94)
  ("(var4 stable)" 94 177)
  ("(var4 up)" 177 180)
  ("(var4 down)" 180 271)
  ("(var4 stable)" 271 305)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 83)
  ("(var1 stable)" 83 305)
  ("(var2 stable)" 0 70)
  ("(var2 up)" 70 72)
  ("(var2 down)" 72 76)
  ("(var2 stable)" 76 113)
  ("(var2 up)" 113 186)
  ("(var2 stable)" 186 305)
 )
)
(95
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 81)
  ("(var3 stable)" 81 298)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 83)
  ("(var4 stable)" 83 86)
  ("(var4 up)" 86 90)
  ("(var4 stable)" 90 186)
  ("(var4 down)" 186 188)
  ("(var4 up)" 188 191)
  ("(var4 down)" 191 193)
  ("(var4 up)" 193 195)
  ("(var4 down)" 195 257)
  ("(var4 stable)" 257 298)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 86)
  ("(var1 stable)" 86 298)
  ("(var2 stable)" 0 74)
  ("(var2 up)" 74 249)
  ("(var2 stable)" 249 298)
 )
)
(96
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 119)
  ("(var3 stable)" 119 344)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 119)
  ("(var4 down)" 119 121)
  ("(var4 stable)" 121 235)
  ("(var4 down)" 235 237)
  ("(var4 up)" 237 239)
  ("(var4 down)" 239 305)
  ("(var4 stable)" 305 344)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 124)
  ("(var1 down)" 124 127)
  ("(var1 stable)" 127 344)
  ("(var2 stable)" 0 106)
  ("(var2 up)" 106 108)
  ("(var2 down)" 108 113)
  ("(var2 up)" 113 196)
  ("(var2 stable)" 196 198)
  ("(var2 up)" 198 227)
  ("(var2 stable)" 227 344)
 )
)
(97
 (
  ("(var3 stable)" 0 59)
  ("(var3 down)" 59 61)
  ("(var3 up)" 61 87)
  ("(var3 stable)" 87 89)
  ("(var3 up)" 89 92)
  ("(var3 stable)" 92 317)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 59)
  ("(var4 up)" 59 101)
  ("(var4 stable)" 101 195)
  ("(var4 down)" 195 274)
  ("(var4 stable)" 274 313)
  ("(var4 down)" 313 317)
  ("(var1 stable)" 0 57)
  ("(var1 down)" 57 59)
  ("(var1 up)" 59 90)
  ("(var1 stable)" 90 317)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 81)
  ("(var2 up)" 81 204)
  ("(var2 stable)" 204 317)
 )
)
(98
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 95)
  ("(var3 stable)" 95 348)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 104)
  ("(var4 stable)" 104 232)
  ("(var4 down)" 232 310)
  ("(var4 stable)" 310 348)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 108)
  ("(var1 stable)" 108 348)
  ("(var2 stable)" 0 85)
  ("(var2 up)" 85 87)
  ("(var2 down)" 87 92)
  ("(var2 up)" 92 227)
  ("(var2 stable)" 227 346)
  ("(var2 up)" 346 348)
 )
)
(99
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 68)
  ("(var3 stable)" 68 308)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 78)
  ("(var4 stable)" 78 189)
  ("(var4 down)" 189 266)
  ("(var4 stable)" 266 269)
  ("(var4 down)" 269 271)
  ("(var4 stable)" 271 308)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 70)
  ("(var1 stable)" 70 308)
  ("(var2 stable)" 0 52)
  ("(var2 up)" 52 54)
  ("(var2 down)" 54 59)
  ("(var2 stable)" 59 105)
  ("(var2 up)" 105 186)
  ("(var2 stable)" 186 308)
 )
)
(100
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 68)
  ("(var3 stable)" 68 303)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 38)
  ("(var4 stable)" 38 40)
  ("(var4 up)" 40 68)
  ("(var4 down)" 68 70)
  ("(var4 stable)" 70 181)
  ("(var4 down)" 181 183)
  ("(var4 up)" 183 185)
  ("(var4 down)" 185 257)
  ("(var4 stable)" 257 303)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 71)
  ("(var1 stable)" 71 303)
  ("(var2 stable)" 0 54)
  ("(var2 up)" 54 56)
  ("(var2 down)" 56 61)
  ("(var2 stable)" 61 102)
  ("(var2 up)" 102 196)
  ("(var2 stable)" 196 303)
 )
)
